Borel structures on the set of Borel mappings
نویسندگان
چکیده
منابع مشابه
Borel structures and Borel theories
We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...
متن کاملBorel Structures: a Brief Survey
We survey some research aiming at a theory of effective structures of size the continuum. The main notion is the one of a Borel presentation, where the domain, equality and further relations and functions are Borel. We include the case of uncountable languages where the signature is Borel. We discuss the main open questions in the area.
متن کاملA dedekind finite borel set
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2 is a Gδσ-set then either B is countable or B contains a perfect subset. Second, we prove that if 2 is the countable union of countable sets, then there exists an Fσδ set C ⊆ 2 such that C is uncountable but contains no perfect subset. Finally, we c...
متن کاملOn the Borel class of the derived set operator. II
— KURATOWSKI showed that the derived set operator D, acting on the space of closed subsets of the Cantor space 2 ,̂ is a Borel map of class exactly two and posed the problem of determining the precise classes of the higher order derivatives D". In part I of our work [Bull. Soc. Math. France, 110, 4, 1982, p. 357-380], we obtained upper and lower bounds for the Borel class of Z>" and in particula...
متن کاملOn the Borel class of the derivea set operator
KURATOWSKI showed that the derived set operator Z), acting on the space 2^ of closed subsets of a metric space X, is a Borel map of class exactly two and posed the problem of determining the precise classes of the higher order derivatives 0. We show that the exact classes of the higher derivatives D" are unbounded in ©i. In particular, we show that D* is not of class a and that, for limit ordin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2012
ISSN: 0166-8641
DOI: 10.1016/j.topol.2011.09.044